Principled Construction of Software Safety Cases
نویسندگان
چکیده
A small, manageable number of common software safety assurance principles can be observed from software assurance standards and industry best practice. We briefly describe these assurance principles and explain how they can be used as the basis for creating software safety arguments.
منابع مشابه
Assessment Optimization of Safety and Health Risks Using Fuzzy TOPSIS Technique (Case Study: Construction Sites in the South of Iran)
Introduction: Safety and health risk assessment in industries is associated with uncertainties due to the variables affecting it. Therefore, in this research, optimizing safety and health risk assessment was investigated in construction sites by combining a multi-criteria decision-making technique (TOPSIS) and a fuzzy system. In the present study, to answer this question, a new method was used ...
متن کاملIs Training Contractors in Safety Issues Effective in Minimizing Occupational Accident Rates? A Retrospective Cohort Study
Background: Safety of contractors is one of the key safety challenges at construction. Safety training, as an essential prerequisite for achieving safety qualification certificates by contractors, could decrease accident rates in the construction. This study aims to evaluate the effectiveness of training construction contractors in safety issues in minimizing occupational accidents in a five-ye...
متن کاملA Budgeting Model for the Safety Unit of an Under Construction Metro Station in Tehran Using a Robust Optimization
Background: The construction of metro lines is a high-risk project. Using a budget-based model for the safety units of metro construction projects can help safety managers to spend optimal budget allocation. The purpose of this study was to plan a budget model based on safety unit performance in an under construction metro station for better budget allocation using robust optimization. Methods...
متن کاملErgonomics Issues in the Construction Safety: A Case Study in Iran
Objectives: Because of the high rates of accidents, the construction industry has become a hazardous industry in Iran and therefore paying more attention is required. This paper investigates safety management in construction companies for improving workers’ safety as one of the ergonomics aims. Methods: In order to survey the safety management in construction companies a questionnaire was pr...
متن کاملEvaluation of slope stability in static and pseudo-static earth dam using software Gio Studio and Plaxis (Case Study dam Kaboodval)
The seepage and slope stability are very important and necessary in the dam dirt are, therefore, in this context, numerous applications to predict and calculate the rate of leakage has been prepared that than the experimental time and cost savings for the analysis of liquids before construction of earth dams need. In this study, safety factors for slope stability software Kaboodwal plaxis two-...
متن کامل